Ordered set

Results: 161



#Item
51Cultural history / Hats / Stetson / Cowboy hat / John B. Stetson Company / Boss of the Plains / Cowboy / Sombrero / Campaign hat / Clothing / Western wear / Culture

The Cowboy Hat: A Salute To The American Cowboy by Cindy K. Roberts On the movie set actor John Wayne ambled into the saloon, tipped his hat to the lady standing next to the bar, then ordered a whiskey from the bartender

Add to Reading List

Source URL: www.everycowgirlsdream.com

Language: English - Date: 2011-11-16 17:12:32
52Structure / Lattice theory / Algebraic structures / Distributive lattice / Complete Heyting algebra / Duality / Join and meet / Lattice / Partially ordered set / Order theory / Mathematics / Abstract algebra

Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover

Add to Reading List

Source URL: isabelle.in.tum.de

Language: English - Date: 2014-08-27 06:04:04
53Concurrency control / Computer memory / Central processing unit / MOV / Linearizability / X86 / Instruction set / Barrier / DEC Alpha / Computer architecture / Computing / Instruction set architectures

Efficient code generation for weakly ordered architectures Reinoud Elhorst, Mark Batty, David Chisnall {re302,mjb220,dc552} @ cam.ac.uk Example: message passing

Add to Reading List

Source URL: llvm.org

Language: English - Date: 2014-04-09 10:33:41
54Principles / Filibuster / Quorum / Bill / Legislative Council of Hong Kong / Leung Kwok-hung / Standing Rules of the United States Senate / Parliamentary procedure / Politics / Government

President’s ruling on allocation of time for the remaining proceedings on the Appropriation Bill 2014 At the start of the Council meeting of 21 May 2014, I ordered that a timeframe should be set for the remaining proce

Add to Reading List

Source URL: www.legco.gov.hk

Language: English - Date: 2014-05-23 10:03:20
55Topology / Complete partial order / Filter / Partially ordered set / Domain theory / Ideal / Uniform space / Metric space / Lattice / Order theory / Mathematics / Structure

Poset models of topological spaces Dongsheng Zhao Abstract. We consider poset models of topological spaces and show that every T1 -space has an bounded complete algebraic poset model, thus give a positive answer to a que

Add to Reading List

Source URL: math.nie.edu.sg

Language: English - Date: 2010-07-05 04:28:20
56Abstraction / Partially ordered set / Pointwise / Ideal / Compact element / Lattice / Equivalence relation / Dual / Category / Order theory / Mathematics / Structure

Posets for Congurations! Arend Rensink University of Twente P.O.Box 217, 7500 AE Enschede, the Netherlands email: [removed]

Add to Reading List

Source URL: doc.utwente.nl

Language: English - Date: 2011-08-28 13:01:24
57Structure / Abstraction / Order theory / Mathematics / Partially ordered set

QUEUE PROBLEMS REVISITED1 Richard P. Stanley A queue problem is a chess problem in which each solution has the same set of moves, but the order of the moves can vary. The object is to count the number of solutions. The c

Add to Reading List

Source URL: www-math.mit.edu

Language: English - Date: 2005-09-12 10:49:06
58Mathematical analysis / Order theory / Voting systems / Voting theory / Voting system criteria / Social Choice and Individual Values / Pareto efficiency / Partially ordered set / Constructible universe / Mathematics / Social choice theory / Structure

doi:[removed]j.jet[removed]

Add to Reading List

Source URL: folk.uio.no

Language: English - Date: 2007-03-08 08:43:57
59Abstraction / Partially ordered set / Total order / Ordered set / Binary relation / Finitary relation / Transitive closure / Well-order / Constructible universe / Mathematics / Order theory / Structure

1993 Paper 11 Question 11 Discrete Mathematics Let A be a non-empty set, and ≺ be a relation on A. What is meant by saying that (A, ≺) is a partially ordered set? [3 marks]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:16:52
60Abstraction / Lattice / Supremum / Partially ordered set / Upper and lower bounds / Infimum / Ordinal optimization / Least-upper-bound property / Order theory / Mathematics / Structure

2001 Paper 1 Question 8 Discrete Mathematics Let (A, 6A ) and (B, 6B ) be partially ordered sets. (a) Define the product order on A×B and prove that it is a partial order. [4 marks]

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:17:39
UPDATE